Enable native backend on hurd-amd64

Bug-Debian: https://bugs.debian.org/1086600
Forwarded: https://github.com/ocaml/ocaml/pull/13587

Gbp-Pq: Name 0007-Enable-native-backend-on-hurd-amd64.patch

diff --git a/configure.ac b/configure.ac
index af1ea7b31ee69f270d0ac2e4aa2e73486bb0593c..2f5d2a1f8819c6cdb9b3d5fb528bea62ab898b40 100644 (file)
--- a/configure.ac
+++ b/configure.ac
@@ -1490,7 +1490,7 @@ AS_CASE([$host],
   [x86_64-*-linux*],
     [has_native_backend=yes; arch=amd64; system=linux],
   [x86_64-*-gnu*],
-    [arch=amd64; system=gnu],
+    [has_native_backend=yes; arch=amd64; system=gnu],
   [x86_64-*-dragonfly*],
     [arch=amd64; system=dragonfly],
   [x86_64-*-solaris*],